System Level Verification at Philips
نویسنده
چکیده
A new verification project has recently started at Philips Research. It concerns a verification of C-like concurrent programs used to specify functionality of hardware/software systems. The problem is to make the verification practical, in the sense that it must be mechanised, and applicable to thousands of lines of C-like code. We will present the goals of the project and some solutions we want to try.
منابع مشابه
Bringing Communication Networks on a Chip : Test and Verification Implications
In this article we present test and verification challenges for system chips that utilize on-chip networks. These SOCs and networks on a chip are introduced, where the NOC is exemplified by Philips’ ÆTHEREAL NOC architecture. We discuss existing test and verification methods for SOCs and NOCs, and show the particular advantages of using an NOC for both testing and verifying the network, and tes...
متن کاملSpice up your life: simulate mixed-signal ICs!
Philips Semiconductor is a supplier to a wide range of markets for analogue and mixed-signal consumer ICs. These products extend from the simplest form of linear products to advanced VLSI analogue systems such as the One-Chip TV. For new mixed-signal products Philips has started to adopt a strategy of testing similar to that used for digital ICs. This is based on efficiently proving the product...
متن کاملBringing Communication Networks On Chip: Test and Verification Implications
In this article we present test and verification challenges for system chips that utilise on-chip networks. These systems on a chip (SOCs) and networks on a chip (NOCs) are introduced, where the NOC is exemplified by Philips’s ÆTHEREAL NOC architecture. We discuss existing test and verification methods for SOCs and NOCs, and show the particular advantages of using a NOC both for testing and ver...
متن کاملLarge vocabulary continuous speech recognition of Broadcast News - The Philips/RWTH approach
Automatic speech recognition of real-live broadcast news (BN) data (Hub-4) has become a challenging research topic in recent years. This paper summarizes our key efforts to build a large vocabulary continuous speech recognition system for the heterogenous BN task without inducing undesired complexity and computational resources. These key efforts included: • automatic segmentation of the audio ...
متن کاملIncorporating Formal Techniques into Industrial Practice
We report about experiences with component-based development supported by formal techniques at Philips Healthcare. The formal Analytical Software Design (ASD) approach of the company Verum has been incorporated into the industrial workflow. The commercial tool ASD:Suite supports both compositional verification and code generation for control components. For other components test-driven developm...
متن کامل